Minimal Reachability is Hard To Approximate
نویسندگان
چکیده
In this note, we consider the problem of choosing which nodes of a linear dynamical system should be actuated so that the state transfer from the system’s initial condition to a given final state is possible. Assuming a standard complexity hypothesis, we show that this problem cannot be efficiently solved or approximated in polynomial, or even quasi-polynomial, time.
منابع مشابه
Elimination of Hard-Nonlinearities Destructive Effects in Control Systems Using Approximate Techniques
Many of the physical phenomena, like friction, backlash, drag, and etc., which appear in mechanical systems are inherently nonlinear and have destructive effects on the control systems behavior. Generally, they are modeled by hard nonlinearities. In this paper, two different methods are proposed to cope with the effects of hard nonlinearities which exist in friction various models. Simple inver...
متن کاملBL-general fuzzy automata and minimal realization: Based on the associated categories
The present paper is an attempt to study the minimal BL-general fuzzy automata which realizes the given fuzzy behavior. Of two methods applied for construction of such automaton presented here, one has been based on Myhill-Nerode's theory while the other has been based on derivatives of the given fuzzy behavior. Meanwhile, the categories of BL-general fuzzy automata and fuzzy behavior, along wi...
متن کاملReachability in Augmented Interval Markov Chains
In this paper we propose augmented interval Markov chains (AIMCs): a generalisation of the familiar interval Markov chains (IMCs) where uncertain transition probabilities are in addition allowed to depend on one another. This new model preserves the flexibility afforded by IMCs for describing stochastic systems where the parameters are unclear, for example due to measurement error, but also all...
متن کاملمساله زمانبندی پروژه با منابع محدود با هدف حداکثر نمودن ارزش خالص فعلی
Resource-constrained project scheduling problem (RCPSP) aims to schedule at minimal duration a set of activities subject to precedence constraints and the limited availability of resources. Considering net present value (NPV) is one of the modern approaches in scheduling projects in which the project is scheduled in such a way that NPV be maximized. This approach with deterministic parameters s...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1710.10244 شماره
صفحات -
تاریخ انتشار 2017